body
{
	background-color: #ffffff;
	color: #000000;
	font-family: arial, verdana, sans-serif;
	margin:10px;
	margin-top:0px;
}
h1{
	text-align:center;
	font-size:200%;
	background-color:#444444;
	color:#ffffff;
	padding:8px;
	margin-bottom:0px;
	margin-right:-10px;
}


h2{
	text-align:left;
	margin-bottom:0px;
	margin-top:30px;
	font-size:180%;
}
h3{
	text-align:left;
	margin-bottom:0px;
	margin-top:10px;
	font-size:140%;
}
h4{
	text-align:left;
	margin-bottom:0px;
	font-size:120%;
}
p{
	margin-top:10px;
	margin-bottom:0px;
	text-indent:20px;
}
span.thesis{
	background-color:yellow;
}
div.thesis{
	border: 1 solid black;
	margin:3px;
}
pre.code{
	background-color:#cccccc;
	padding:10px;
	margin-left:30px;
	margin-right:30px;
}
span.code{
	font-family:courier new, monospace;
}
pre.cmd{
	background-color:#222222;
	color:#aaffff;
	padding:10px;
	margin-left:30px;
	margin-right:30px;
	font-family:Lucida console, Lucida Sans Unicode, monospace;
	font-size:14px;
}

ul, ol{
	margin-left:40px;
}

p.cit{
	background-color:#eeeeff;
	padding:3px;
	font-size:80%;
}

.note{
	background-color:#aaeeff;
	padding:3px;
	font-size:80%;
}

p.srctext{
	background-color:#eeffee;
	padding:3px;
	font-size:80%;
	border:1 solid red;
}
ul.toc{
	list-style-type:none;
	margin-top:0px;
	background-color:#ebebeb;
	font-size:12px;
	margin-left:2px;
	padding-left:40px;
}
ul.toc a:visited{
	color:black;
	text-decoration:none;
}
ul.toc a:link{
	color:black;
	text-decoration:none;
}
ul.toc a:hover{
	color:white;
	background-color:black;
	text-decoration:none;
}
span.class{
	font-family:courier, monospace;
}
p.tocmenu{
	text-align:center;
	/*background-color:#ebebeb;*/
	background-color:#777777;
	font-size:10px;
	padding:0px;
	margin-top:0px;
	margin-bottom:10px;
	cursor: pointer;
}
p.tocmenu a:link{
	color:white;
	font-weight:bold;
	text-decoration:none;
}
p.tocmenu a:visited{
	color:white;
	font-weight:bold;
	text-decoration:none;
}
p.tocmenu a:hover{
	background-color:#000000;
	font-weight:bold;
	text-decoration:none;
}
div.notice{
	border-left: 2 solid black;
	padding-left:5px;
	margin:10px;
	margin-left:30px;
	margin-right:30px;
	font-size:80%;
	font-style:italic;
}
div.attention{
	border-left: 6px solid red;
	padding-left:5px;
	margin:10px;
	margin-left:30px;
	margin-right:30px;
	font-size:80%;
	font-style:italic;
}
div.conclusion{
	padding:5px;
	border:4 solid #999999;
	margin:10px;
	margin-left:20px;
	margin-right:20px;
}
p.picdsc{
	font-style:italic;
	font-family:times new roman cyr, serif;
}
div.definition{
	margin-left:50px;
	margin-right:50px;
	margin-top:5px;
	background-color:#ffffff;
	border-left: 6 double #444488;
	padding:2px;
	padding-left:10px;
}
.hiddennotice{
	font-size:70%;
	background-color:#efefef;
	display:none;
	margin-left:50px;
	cursor:hand;
	
}
span.opennotice{
	font-size:150%;
	color:blue;
	/*text-decoration:underline;*/
	cursor:hand;
}
span.file{
	font-family: Courier, monospace; 
	font-style:normal;
}

div.topMenu{
	background-color:#888888;
	margin-bottom:5px;
	margin-left:-10px;
	margin-right:-10px;
}

div.topMenu a:link{
	text-decoration:none;
	color:#cccccc;
	font-weight:bold;
	font-size:12px;
}
div.topMenu a:visited{
	text-decoration:none;
	color:#cccccc;
	font-weight:bold;
	font-size:12px;
}
div.topMenu a:hover{
	text-decoration:none;
	color:white;
	font-weight:bold;
	font-size:12px;
}
span.optbutton {
    background-color: #888888;
    color: #FFFFFF;
    cursor: pointer;
    font-size: 70%;
    font-weight: bold;
    padding: 2px;
}